翻訳と辞書 Words near each other ・ Axixá do Tocantins ・ AXK ・ AxKit ・ Axl ・ AXL Guitars ・ Axl Hazarika ・ Axl Osborne ・ AXL receptor tyrosine kinase ・ Axl Rose ・ Axl Rotten ・ Axl Smith ・ Axle ・ Axle counter ・ Axle hitch ・ Axiom of countable choice ・ Axiom of dependent choice ・ Axiom of determinacy ・ Axiom of empty set ・ Axiom of Equity ・ Axiom of extensionality ・ Axiom of global choice ・ Axiom of infinity ・ Axiom of limitation of size ・ Axiom of Maria ・ Axiom of pairing ・ Axiom of power set ・ Axiom of projective determinacy ・ Axiom of real determinacy ・ Axiom of reducibility ・ Axiom of regularity Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Axiom of dependent choice ： ウィキペディア英語版 Axiom of dependent choice In mathematics, the axiom of dependent choice, denoted DC, is a weak form of the axiom of choice (AC) that is still sufficient to develop most of real analysis. ==Formal statement== The axiom can be stated as follows: For any nonempty set ''X'' and any entire binary relation ''R'' on ''X'', there is a sequence (''x''''n'') in ''X'' such that ''x''''n''''R'x''''n''+1 for each ''n'' in N. (Here an ''entire'' binary relation on ''X'' is one such that for each ''a'' in ''X'' there is a ''b'' in ''X'' such that ''aRb''.) Note that even without such an axiom we could form the first ''n'' terms of such a sequence, for any natural number ''n''; the axiom of dependent choice merely says that we can form a whole sequence this way. If the set ''X'' above is restricted to be the set of all real numbers, the resulting axiom is called DCR. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Axiom of dependent choice」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.